22.65/23.79	unsat
