hack-a-sat 3 /// learn. space. faster.