log(sqrt(57) + 7)/log(2) + log(sqrt(57)-7)/log(2)