Diophantine problem