8 * a^3 / (6 * sqrt(2))