9.17/10.44	unsat
