elim astar en 1j*