Как импортировать из файла, имя которого начинается с цифры ⇐ Python

[Anonymous]

По сути, существует файл с именем 8puzzle.py, и я хочу импортировать его в другой файл (в той же папке, и я не могу изменить имя файла, поскольку файл предоставлен). Есть ли способ сделать это в Python? Я попробовал обычный способ импорта 8puzzle *, выдает ошибку.
Ошибка:
>>> import 8puzzle
File "", line 1
import 8puzzle
^
SyntaxError: invalid syntax
>>>


Подробнее здесь: https://stackoverflow.com/questions/909 ... h-a-number