Solve boolean5