loading SCIP...
10 45781 true
11 17 40 48 51 53 55 66 69 70