Phil Freeleagus ardisyounger0 · Why Latency Matters for Heavy Solving