/home/task_176467484633581/conda-bld/cryptominisat-split_1764675316045/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placeho binary lib/python3.10/site-packages/pycryptosat.cpython-310-x86_64-linux-gnu.so
