loading SCIP...
17 33703 true
9 11 13 16 22 31 47 51 52 58 59 64 72 73 77 97 99