loading SCIP...
13 36484 true
6 8 11 12 16 17 20 24 50 62 64 68 73