5386.sat