3647 -- perfect soundness.



 

~~~~~~