2888.sat