9.57/10.84	unsat
