Create SAT_termDel_sim.java