loading SCIP...
42 890 true
1 8 11 12 14 20 21 22 23 25 29 31 32 33 36 38 39 41 46 47 48 49 50 52 58 59 62 63 65 66 71 73 77 78 80 82 90 92 93 94 97 99