9.07/12.44	unsat
