3645.sat