3 ms·A real SAT solution. P is not always hard2 points by GeometryKernel 3mo agodeleted 3mo ago[deleted]