11.37/11.84	unsat
