14.37/14.68	unsat
