The unlock tool would only work if it successfully authenticates with Xiaomi's server with matching Mi Cloud ID as the one previously registered to the device. So I very much doubt that it is stolen.