SAPC 2025 Fall Windup Kitty Miao & Logan Formaniuk vs Yan Zhao & Jon Hoffman