14.36/16.83	unsat
