Update defabc12-eval.txt