SAT - Inference - II

200