SAT Inference - 2

200