8.88/10.86	unsat
