loading SCIP...
9 45062 true
1 9 26 30 63 73 78 79 81