Solve boolean12