Assuming that high tides occur every 12.5 hours, give a model of the form y=Asin(`omega t -`phi)+c for height of the tide vs. clock time if at 4:30am the water level is 13 feet, and 6.25 hours later the level is 10 feet. Assume that t is the time since midnight.