2047.sat