Parser.idr: fixed sat