loading SCIP...
15 39140 true
1 3 14 15 16 28 29 50 53 64 73 76 85 86 93