7.78/7.88	unsat
