9.08/9.84	unsat
