标签:Mechanical Solvers 2024