works as an automated solver! woohoo