10.07/10.44	unsat
