loading SCIP...
31 11672 true
4 7 12 20 25 27 30 31 38 41 42 43 45 46 51 60 61 62 64 66 67 68 69 71 73 77 79 81 84 90 96