18.17/18.25	unsat
