loading SCIP...
12 37578 true
4 17 23 36 38 57 60 62 67 68 85 87