dut.sat