Find the two consecutive integers whose product is 5 less than 5 times their
sum. Domain for the smallest: {0,6,9}

Relax