13.59/13.83	unsat
