#348 Updated org.sat4j dependency.

2 jobs for 348-dependency-license-check-failure-2022-04-07 in 0 seconds (queued for 33 seconds)