Twardy argument
0.075010776519775