11.39/11.83	unsat
