7.82/7.88	unsat
