hexic solver