loading SCIP...
11 34219 true
4 7 14 17 18 40 44 51 57 58 95