NoSuchElementException thrown on correct CNF

[ArsenHD]

Description

The CNF below is in correct format, but KoSAT throws an exception. This is not the only such CNF, but the exact problem is unclear.

To reproduce

p cnf 2 2
1 0
1 2 2 0

Expected behavior

Either SAT or UNSAT.

Actual behavior

NoSuchElementException: Collection contains no element matching the predicate.

Environment

KoSAT website