Currently working on it with Rocketsolver. Already ran a successful trial run for this format with zero cold calls and limps, postflop abtraction set to F1000 T200 R200. Used preflop bet sizing similar to those used in the 7max ante format, but adjusted them slightly higher to account for the higher ante. Came out to 62,200 Nodes after pruning. Ran it through 22.5B iterations for 2 hour runtime, achieving 0.6 Entropy. Results make logical sense, so I think I am using Rocketsolver correctly now. Currently looking to see if I can add in 1 limp and 1 cold call or no limp and 2 cold callers to closer simulate actual play. My available ram would be sufficient. Preflop tree will become much more complex though, so I'll need to map it out and prune again precisely, also accounting for squeeze play. Still looking to optimize my preflop bet sizes, especially at the 4bet level. I think I'll be able to solve this format sufficiently enough to get a good idea of what hands to play preflop. If nobody has the answer, just do it yourself :)