loading SCIP...
24 17235 true
2 7 10 20 21 22 23 24 27 34 38 44 47 53 55 67 69 71 77 84 85 86 90 93