add README
adding initial formula for eiffelstudio 7.2-7.3