Will P vs NP be resolved before man lands on Mars? · YES 37% — Manifold odds