14.35/14.83	unsat
