9.47/9.84	unsat
