loading SCIP...
12 41219 true
1 7 18 36 41 49 74 77 78 92 96 97