BUG Type 1
Use solution uniqueness to determine the digit in the only three-candidate cell when all other unsolved cells are bivalue.
All candidates have been entered in the empty cells.
Assume that the puzzle has a unique solution. If A were false, every unsolved cell would have two candidates and two solutions would remain. A is 2.