[optimalsolver]

For those following along at home, that's the same US Gov which is currently killing civilians protesting against its own activities.