If this is the case , the formula is called `` satisfiable '' .
The formula is called `` satisfiable '' in the first case .