О возможности решения систем линейных целочисленных уравнений методом выделения и оценки отдельных неизвестных

В работе предлагается решение системы линейных целочисленных уравнений методом выделения и оценки отдельных неизвестных при числе уравнений $t$, существенно меньшем числа неизвестных $n$. Для двух заведомо совместных случайных псевдобулевых систем находится такое $t(n)=o(n)$, при котором система имеет единственное решение с вероятностью $p\to1$ при $n\to\infty$, и приводится вероятностное обоснование метода. В заключение предложенным методом решается конкретная псевдобулевая система при $n=20$, $t=12$.