6.37/9.88	unsat
