1/2((20sin15)/root(2))