lukestein’s Twitter Archive—№ 13,574

@Tim_Hua_ Exactly my approach and conclusion! There’s a trick (which I didn’t realize at first) to seeing that none of the 90+10 solutions can work, so it has to be an 80+20, and then brute force it @lukestein/1482192159189221383