596.51/602.12	unsat
