14.47/14.74	unsat
