/var/folders/c_/qfmhj66j0tn016nkx_th4hxm0000gp/T/abs_0bp145nvjq/croot/cryptominisat-split_1693261636632/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_plac binary bin/cryptominisat5
