loading SCIP...
9 46109 true
9 36 54 55 57 61 62 89 94