loading SCIP...
19 27890 true
0 10 15 18 25 32 33 42 61 63 66 73 75 76 78 83 86 87 90