3042.sat