8.87/9.71	unsat
