Syndrome decoding of binary rate-k n by Schalkwyk