splatz06vmain:2016 CNF parsing error

[pauleve]

docker run  --rm -e TIMEOUT=10 -v /home/runner/work/docker-images/docker-images/tests:/data satex/splatz06vmain:2016 aim-200-1_6-yes1-1.cnf
+ cd /solvers/Splatz06vmain
+ set +x
+ timeout 10 ./splatz /data/aim-200-1_6-yes1-1.cnf
c Splatz SAT Solver
c Version 06v ccbba4a944f4e47bc33dae99462da30cbc28e4be
c Copyright (C) 2015 - 2016 Armin Biere
c Johannes Keppler University Linz
c g++ -Wall -O3 -DNDEBUG
c reading from '/data/aim-200-1_6-yes1-1.cnf'
c found 'p cnf 200 320' header
*** splatz: expected white-space or 'c' after '0'
ERROR Solver failed with return code 1