tsp: Use CNF_PVAL with %VAL