Unsolved problems in computer science