Checking solvability is done, only need is to be switched to template