fixed 3sat proof