On finding PUBO problems on Diophantine equations | Synapse