loading SCIP...
16 35593 true
2 6 16 18 27 32 39 42 45 51 52 59 63 68 73 88