SOLVING HARDEST PUZZLES OF DIFFERENT SIZES IN RECORD TIME