loading SCIP...
10 45813 true
1 27 36 52 73 78 88 89 93 94