8086.sat