18.65/19.23	unsat
