eq5.sats
eq5.sats