loading SCIP...
31 8734 true
10 11 21 22 23 24 28 33 37 38 39 43 45 47 49 51 59 62 64 65 66 68 71 74 82 88 89 92 94 95 96