Adnan is my nickname, because my economics teacher once read the characters 'ri' as 'n', which turned out to be quite a catchy nickname.
3-sat when in doubt.