3682.sat
3682.sat