loading SCIP...
20 313 true
1 4 6 7 8 10 13 18 21 26 27 30 31 32 37 40 42 46 47 48