loading SCIP...
10 43781 true
6 27 39 40 42 47 51 67 91 96