initial.sat