loading SCIP...
16 33046 true
5 6 24 35 39 40 44 45 50 55 66 81 82 83 89 99