Если предположить что “неточные” весы просто недостаточно точны и всегда показывают равенство при одинаковом количестве монет, то решение такое:
1. Берём 2 кучки по 4 и одну монету оставляем в стороне (назовём её монета X). Взвешиваем на первых весах.
1-a. Если они показывают неравенство, то мы попали на рабочие весы, находим в более лёгкой кучке фальшивую монету на этих же весах в два взвешивания.
1-б. Если они показывают равенство, то либо первые весы неточные, либо монета X фальшивая либо и то и то верно. Вариант когда первые весы точные, а монета X настоящая - иключён. Следовательно исключён вариант что вторые весы неточные, а монета X настоящая.
2. Далее используем на вторых весах стандартный алгоритм для 9 монет. Но используем его так, чтобы в случае выпадания равенства последней монетой была монета X. Если при стандартном алгоритме где-то выпало неравенство, то вторые весы рабочие и всё хорошо. Если при стандартном алгоритме оба взвешивания дали равенство, то монета X фальшивая независимо от того, точные или неточные вторые весы (см 1-б)