6/(sqrt(5)+7)