3-sqrt(13)