9.89/12.44	unsat
