2792.sat