Describir: QUBO formulation for the Snake-in-the-box and Coil-in-the-box problems.