В энциклопедии приводятся факты об этих городах, но сравнение этих фактов с информацией из СМС не дает нам судить о том, в каком же городе был Степан в последний раз.