8.61/10.14	unsat
