0 1 116.03 116.03 FORMAL SOLUTION