test solver--it works