loading SCIP...
11 36719 true
2 3 4 5 10 13 15 33 43 88 96