sshd binary contains patched `sys_auth_passwd` that contains a `custom_auth(char *username, *password)` function that checks a bunch of constrains. Those can be solved with z3, you end up with: ```reubenCgaGeIm5z;qOkgSYqDhbHfJn6{