n7q2r.unisat