MatnSAT
470
690
540
570
470
680
710