Pass loose value to rcompare from maxSatisfying