17.97/18.25	unsat
