14.67/14.74	unsat
