14.67/14.88	unsat
