Finish the decoding; implement solveWith