incorrect behavior with non-exclusive solves now corrected