8.04/9.83	unsat
