loading SCIP...
23 20812 true
1 2 3 7 10 12 17 25 33 36 43 45 51 66 69 70 73 75 79 82 83 94 96