21.65/23.49	unsat
