switch over to topdown solver