17.13/19.25	unsat
