newest ast and parse

newest sat and parse