add IDAstar problems' solutions