loading SCIP...
39 3937 true
1 2 5 10 16 17 18 27 28 31 32 36 40 44 45 48 51 52 54 55 58 63 64 65 70 71 72 80 81 82 85 86 87 89 90 91 95 96 99