mines+1+real-8