how do i solve 25=7+3k-12