9/(sqrt(32))