A local cinema reduced its ticket prices by 15% which means a ticket now costs £10.88. how much was a ticket before the reduction?