14.47/15.88	unsat
