"1"^^ . . "solver"@en . . . .