4012.sat