Title: Real estate owned by the state of Ohio