2579.sat