solver works correctly. no solver tests though