solf(1 result)