Segmentation fault with sato4.2:2004 on test instance

[pauleve]

+ docker run --name satex13561 --rm -e TIMEOUT=10 -v /home/runner/work/docker-images/docker-images/tests:/data satex/sato4.2:2004 aim-200-1_6-yes1-1.cnf
cnf...#### sato4.2:2004 ####
+ cd /solvers/sato4.2
+ set +x
+ timeout 10 ./sato4.2 /data/aim-200-1_6-yes1-1.cnf
timeout: the monitored command dumped core
/entrypoint.sh: line 32:    19 Segmentation fault      timeout ${TIMEOUT} "${SOLVER_CALL}" "${@}"

The comments acknowledges that sato4.2 segfault on medium-size instances, so the CI tests should account for that.