SAT Inference - 3

200