loading SCIP...
30 12187 true
3 4 15 16 24 28 30 34 35 36 39 41 45 46 48 53 58 59 64 67 76 78 79 80 81 82 85 88 92 99