8.87/10.10	unsat
