0807.sat