loading SCIP...
9 47594 true
1 27 34 49 65 72 73 97 99