Solve boolean15