14.05/14.83	unsat
