Began work on making a working solver. Doesn't work yet.