25888.sat