degrading KRm vs KRm

following CCRL game where score was 0.56