7.27/7.88	unsat
