Update sat4j-solve