Using diophantine module we can find a solution (but only one) to a system of linear Diophantine equations. See this example.
Now the problem:
I need to find <