loading SCIP...
25 18484 true
0 7 18 23 27 34 36 42 43 45 49 54 55 58 59 61 62 63 73 76 77 83 88 92 99