17.25/19.31	unsat
