loading SCIP...
29 10484 true
0 3 6 8 12 13 18 20 23 24 30 32 33 36 43 45 48 52 54 59 70 74 76 88 89 91 94 96 98