17.70/18.25	unsat
