\"1.71\"
