I actually put this bug into the internal bugbase already, and specifically for those two songs, as well.

When you are doing a "least recently played" custom shuffle with hard parameters, they always play first.