loading SCIP...
23 23093 true
3 5 14 23 27 28 31 40 42 47 53 60 65 67 68 69 70 73 76 79 85 86 94