9.67/12.44	unsat
