17.13/17.25	unsat
