loading SCIP...
10 42031 true
4 7 25 27 48 59 64 80 91 96