loading SCIP...
8 55219 true
43 48 72 77 83 91 97 99