14.73/14.88	unsat
