17.65/19.44	unsat
