Clarified computation of wdtrain in procedure cv30_unsat: sum intrinsic instead of loop. Changes results.