22.65/25.24	unsat
