【re】[hgame 2023 week3]<font style="font-style:normal;font-weight:bold;color:#cc0000;"><b>kunmusic</b></font> -- .net程序逆向，z3库约束