loading SCIP...
31 8703 true
3 6 12 13 19 21 23 26 27 28 31 34 37 43 44 46 51 54 56 57 62 65 66 67 72 74 77 92 94 98 99