finish demo after SAT engine