Solving Hard Problems using the Cube Method