Very nice game. The ending was not completely satisfying, but adequate enough for a game of this proportion.
My playtime was somwhere in the range of 5-10 minutes, All puzzles were correct at the first attempt. Most time was spent reading the story (which was very nice). However, I teach Logic & Set Theory so I would advise you to not take my time into account.