Match #3948

SOFT4: (HeZeuS) vs ([Crz]Cribob)