loading SCIP...
12 39344 true
3 5 20 32 48 54 55 58 60 79 81 96