Solve boolean7