17.65/19.22	unsat
