Opera Mini user agents for versions after 7.5

Last post by rehposolihp: Hi. I've come across several users agents that appear to be Opera Mini ones having version numbers greater than 7.5 (the current latest version), such as the following one:

Opera/9.80 (Android; Opera Mini/14.0.1074/30.3061; U; en) Presto/2.8.119 Version/11.10 Foundation

Could anyone please kindly confirm if these user agents are valid Opera Mini ones?

Many thanks