2SAT-T

78.14%
12,263 10,074 hours 49,655 2,802 440 804,806