6379.sat