loading SCIP...
11 40063 true
15 16 21 29 55 56 59 61 62 69 93