2790.sat