In the leasing of all of the lands which were reserved and given to Ohio for the support of schools and religion, which by a congressional act, Public Law 90-304, approved May 13, 1968, were released to Ohio to be sold and the revenue to be used for the support of education, it is the state‘s policy to sell the land and to use the revenue for the support of public education.