updates Sat4j

2 jobs for preproc_pb in 59 minutes (queued for 6 seconds)