11.37/12.84	unsat
