24.65/25.32	unsat
