1.62/7.25	unsat
