Every row, every column and every box must hold each number exactly once. Pure logic, no guessing needed.