9.48/11.84	unsat
