2484.sat
2484.sat