CH2-E4: fix to thr problem definition format.