Make solver actually work.