\"1.72\"
