Constraint-Satisfaction Problem (CSP) Battleship