remove sat4j from old alloy jar