I am writing up the result of my survey of peoples opinion of P vs NP (it will be in a SIGACT News, in Lane's Complexity Column, in 2019.) Some  people wrote:                          P=NP but the proof will be nonconstructive and have a large constant. Large constant could happen. If by nonconstructive they mean not practical,