17.65/18.21	unsat
