6.68/7.88	unsat
