SAT - Inference - I

500