9.98/12.44	unsat
