7.61/8.86	unsat
