add sat4j jar