loading SCIP...
12 37218 true
3 9 24 38 39 52 61 62 63 64 85 87