loading SCIP...
14 36844 true
2 11 30 31 32 35 44 65 67 70 80 83 89 93