Mastering puzzle-solving Portal