solver works for the first time