Solution found for Issue 10 but results are not satisfiable