loading SCIP...
17 31828 true
2 3 17 20 21 44 47 50 54 68 69 74 83 88 94 95 96