Fix bug of calc satisfiable method