First 6 steps of simple-hill-climb (3-SAT) in Prolog