2.31/6.44	unsat
