Solve boolean13