the only reason why there can be no satisfying assignment is if the algorithm does not return yes at a certain point in time and since this algorithm solve this problem here, if it can not reach yes, then this means that this decision problem here is also a no.