loading SCIP...
22 46 true
1 4 5 8 9 13 15 16 20 21 22 25 26 29 30 31 32 35 37 43 47 49