18.65/23.46	unsat
