5391x1 ) [ 23^52]