10.14/11.83	unsat
