6.76/8.88	unsat
