2SAT-T

76.44%
10,382 16,987 hours 54,691 3,120 647 1,049,012