loading SCIP...
11 43782 true
6 13 17 30 37 50 58 62 75 77 81