SAT Inference - 1

200