loading SCIP...
9 46656 true
5 34 44 45 60 80 84 97 99