loading SCIP...
9 45719 true
6 9 36 61 79 81 92 94 98