construct/rlve crt

construct/rlve crt: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find any non-negative integer x satisfying all of the following 3 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 26 (mod 28) x ≡ 6 (mod 19) x ≡ 13 (mod 23)