loading SCIP...
30 9421 true
3 6 8 16 19 21 26 30 35 41 46 47 49 50 55 57 59 61 67 70 73 75 77 82 83 84 85 95 96 99