sat4j-timeout
border cases for sat