6.07/7.88	unsat
