В аквариуме живут каракатицы, осьминоги и наутилусы. Некоторые каракатицы сегодня красные, остальные — зелёные, причём каждую ночь после полуночи красные каракатицы становятся зелёными, а зелёные — красными. Осьминоги же бывают зелёными и синими, причём после полуночи меняют синий цвет на зелёный, а зелёный — на синий. Наутилусы всегда либо красные, либо синие. Известно, что вчера красных существ было 15, зелёных — 9, а синих — 10. Сегодня красных — 10, зелёных — 17, синих — 7. Также известно, что красных наутилусов 6, а каракатиц и осьминогов равное количество. Сколько синих наутилусов живёт в аквариуме?