Solving N-Queen Problem using Las Vegas Algorithm with State Pruning