11.76/11.83	unsat
