Add leviathan solutions