solver actually works fairly well