6.37/7.88	unsat
