Problem Schinzla o liczbie rozwiązań kongruencji liniowej