loading SCIP...
19 27625 true
1 2 5 7 20 29 31 46 51 53 54 60 67 72 78 83 90 93 95