19*sqrt(2)/2