The model is now fixed. Everything should work, but the multiple
solution file might be too much, and maybe it needs to be simplified.