7.76/7.88	unsat
