Snark conjecture