loading SCIP...
10 43938 true
16 24 50 51 56 62 65 83 85 92