17.65/18.31	unsat
