14.59/14.68	unsat
