14.19/14.83	unsat
