loading SCIP...
41 1766 true
3 4 9 10 11 15 20 23 24 25 32 34 35 39 40 41 43 47 48 49 52 56 59 61 65 69 72 75 76 77 79 80 81 82 84 90 91 93 95 96 97