In brief:
1) Solving a system of n linear congruences
2) n is unknown so we bruteforce.

Original writeup (https://n00bcak.github.io/writeups/2021/04/08/AngstromCTF-2021.html#substitution).