Магнитик с видом города стоит на 125,5 рублей дешевле, чем сувенирная кружка. За 4 кружки и 3 магнитика заплатили 1902 рубля. Сколько рублей стоит сувенирная кружка?