loading SCIP...
18 30437 true
8 11 18 23 24 27 31 34 38 47 50 56 58 66 77 81 84 90