Satosfoed methods in XdivYeqZ and XmodYeqZ

Correcting satisifed methods for these constraints.