23.65/24.79	unsat
