1.08/2.44	unsat
