10.00/11.83	unsat
