y al oeste con San Antonio de los Baños.