4 ms·provable:unprovable = 1:2, because 2 is the most I could afford.by juvenn 17y agoprovable:unprovable = 1:2, because 2 is the most I could afford.