Воры Джон и Смит ограбили банк. Их поймали и судили. На суде у них потребовали назвать количество украденных ими миллионов. Джон сказал: «Больше тринадцати», а Смит ответил: «Больше двенадцати». Детектор лжи показал, что один из них врет. Сколько миллионов было украдено ворами?