loading SCIP...
8 33719 true
4 38 51 71 81 83 85 97