loading SCIP...
22 23890 true
4 7 11 12 18 19 23 34 35 41 43 47 51 62 75 76 79 82 83 87 92 95