OPTSAT: A Tool for Solving SAT Related Optimization Problems