Kissat test case `prime289.cnf` does not terminate

[ayberkt]

I attempted to add the CNF file examples/kissat/cnf/prime289.cnf as a test case:

tensorsat/examples/test_sat_solver.py

Lines 192 to 195 in fdde07d

	# TODO: the following hangs.
	# def test_example_prime289() -> None:
	# is_sat: bool = check_sat_file("prime289")
	# assert(is_sat)

However, this does not terminate within a reasonable time.