8.87/9.88	unsat
