13.74/13.83	unsat
