loading SCIP...
29 10515 true
1 2 4 5 16 17 18 22 26 27 31 32 33 35 40 41 46 49 54 56 57 67 72 77 79 83 87 91 98