loading SCIP...
14 34562 true
3 5 28 33 51 56 64 66 67 68 77 81 82 84