https://9lib.org/document/q7weenor-lower-upper-bounds-solutions-congruence-x-m-mod.html