loading SCIP...
30 11016 true
3 5 6 16 21 23 31 32 36 42 44 48 52 55 57 60 62 63 65 68 72 75 77 80 87 90 91 92 98 99