Boost 12V to 24V, high current output
Do you need MOMENTARY activation of the solenoid?  Or CONTINUOUS activation? You could do some circuit tricks with switching super-caps if you need only momentary. But a boost converter for 25A will be large and expensive. May be better to use a 12V solenoid or add another 12V battery to create 24V.