loading SCIP...
37 2000 true
4 8 11 12 14 18 19 20 22 24 27 29 31 32 35 42 43 44 50 53 55 59 65 66 69 76 78 80 81 83 87 88 90 92 93 97 98