loading SCIP...
16 33484 true
4 6 23 30 32 47 49 65 69 70 72 73 83 88 95 97