2SAT-T

76.20%
10,694 18,131 hours 55,152 3,146 655 1,074,146