loading SCIP...
9 44421 true
2 56 63 72 73 84 87 92 93