Now, if this results in an empty clause, then well that means that the input formula doesn't have any satisfying assignment for that variable, which means that the Boolean formula itself isn't satisfiable. 