Bose-Einstein Condensation in Satisfiability Problems